Indication formelle et déformalisation

Logique mathématique et linguistique formelle

Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini

Autojection et compilateurs procedure formelle symbolique

Contribution à la vérication formelle et programmation par contraintes

ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...

Verification formelle et optimisation de l'allocation de registres

Les entités spatiales dans la langue : étude descriptive, formelle et expérimentale de la catégorisation

While previous linguistic and psycholinguistic research on space has mainly analyzed spatial relations, the studies reported in this paper focus on how language distinguishes among spatial entities. Descriptive and experimental studies first propose a classification of entities, which accounts for both static and dynamic space, has some cross-linguistic validity, and underlies adults’ cognitive...